/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package syntax;

import java.util.Collection;
import java.util.LinkedList;
import semantics.State;

/**
 *
 * @author ennouaary
 */
public class TransitionRuntimeInfo {
    private boolean reachable;
    private State lastState;
    private Collection<State> lastStatesPool;

    public TransitionRuntimeInfo(boolean reachable, State lastState, Collection<State> lastStatesPool) {
        this.reachable = reachable;
        this.lastState = lastState;
        this.lastStatesPool = lastStatesPool;
    }

    public TransitionRuntimeInfo() {
        lastStatesPool = new LinkedList<State>();
    }

    public boolean isReachable() {
        return reachable;
    }

    public void setReachable(boolean reachable) {
        this.reachable = reachable;
    }

    public State getLastState() {
        return lastState;
    }

    public void setLastState(State lastState) {
        this.lastState = lastState;
    }

    public Collection<State> getLastStatesPool() {
        return lastStatesPool;
    }

    public void setLastStatesPool(Collection<State> lastStatesPool) {
        this.lastStatesPool = lastStatesPool;
    }
}
